プロセス代数とその応用⑨ LOTOS――実用指向のプロセス代数(基礎編)